sentential logic proofs